| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 387071 | ||
| Übung | 383136 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Vorlesung | 381356 | Mo 10:30-12:00 AH I (2350|028) (×12) Mi 12:30-14:00 AH II (2350|111) (×12) | |||
| Functional Programming | Fach-/Modulprüfung | 6 | 385828 | ||
| Modeling and analysis of hybrid systems | Fach-/Modulprüfung | 6 | 386654 | ||
| Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) |